$\forall$${\it es}$:ES, $l$:IdLnk, ${\it tg}$:Id, $e$:E.
\\[0ex]isrcv($e$) $\Rightarrow$ lnk($e$) $=$ $l$ $\Rightarrow$ tag($e$) $=$ ${\it tg}$ $\Rightarrow$ kind($e$) $=$ rcv($l$,${\it tg}$) $\in$ Knd